Iplications in Sectionally Pseudocomplemented Posets
نویسنده
چکیده
A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which coincides with the relative pseudocomplementation if P is relatively psudocomplemented. We characterise this operation and study some elementary properties of upper semilattices, lower semilattices and lattices equipped with this kind of implication. We deal also with a few weaker versions of implication. Sectionally pseudocomplemented lattices have already been studied in the literature.
منابع مشابه
Mplications in Sectionally Pseudocomplemented Posets
A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which coincides with the relative pseudocomplementation if P is relatively psudocomplemented. We characterise this operation and study some elementary properties of upper...
متن کاملPseudocomplements of closure operators on posets
Some recent results provide su,cient conditions for complete lattices of closure operators on complete lattices, ordered pointwise, to be pseudocomplemented. This paper gives results of pseudocomplementation in the more general setting of closure operators on mere posets. The following result is 0rst proved: closure operators on a meet-continuous meet-semilattice form a pseudocomplemented compl...
متن کاملReducibility in Finite Posets
All the posets/lattices considered here are finite with element 0. An element x of a poset satisfying certain properties is deletable if P − x is a poset satisfying the same properties. A class of posets is reducible if each poset of this class admits at least one deletable element. When restricted to lattices, a class of lattices is reducible if and only if one can go from any lattice in this ...
متن کاملCharacterizations of 0-distributive Posets
The concept of a 0-distributive poset is introduced. It is shown that a section semicomplemented poset is distributive if and only if it is 0-distributive. It is also proved that every pseudocomplemented poset is 0-distributive. Further, 0-distributive posets are characterized in terms of their ideal lattices.
متن کاملTensor Products and Relation Quantales
A classical tensor product A⊗B of complete lattices A and B, consisting of all down-sets in A×B that are join-closed in either coordinate, is isomorphic to the complete lattice Gal(A,B) of Galois maps from A to B, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (se...
متن کامل